翻訳と辞書 Words near each other ・ Two-tier health care ・ Two-tier system ・ Two-tier tender offer ・ Two-tiered pricing ・ Two-Time Mama ・ Two-Timin' Me ・ Two-timing ・ Two-Timing Touch and Broken Bones ・ Two-toed amphiuma ・ Two-toed Earless Skink ・ Two-toed sloth ・ Two-Toed Tom ・ Two-tone ・ Two-up ・ Two-up two-down ・ Two-variable logic ・ Two-vector ・ Two-way ・ Two-way alternating ・ Two-way analysis of variance ・ Two-way communication ・ Two-way contract ・ Two-way deterministic finite automaton ・ Two-way forward ・ Two-way indicator species analysis ・ Two-way radio ・ Two-way satellite time and frequency transfer ・ Two-way security ・ Two-way simultaneous ・ Two-way street Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Two-variable logic ： ウィキペディア英語版 Two-variable logic In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two different variables. This fragment is usually studied without function symbols. == Decidability == One of the main points is that some important problems about two-variable logic, such as satisfiability and finite satisfiability, are decidable. This result generalizes results about the decidability of fragments of two-variable logic, such as certain description logics; however, some fragments of two-variable logic enjoy a much lower computational complexity for their satisfiability problems. By contrast, for the three-variable fragment of first-order logic without function symbols, satisfiability is undecidable.〔A. S. Kahr, Edward F. Moore and Hao Wang. ''Entscheidungsproblem Reduced to the ∀ ∃ ∀ Case'', 1962, noting that their ∀ ∃ ∀ formulas use only three variables.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Two-variable logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.